$\forall$$A$:Type, $l$:IdLnk, ${\it tg}$:Id.
\\[0ex]es{-}in{-}port{-}conds($A$;$l$;${\it tg}$) $\in$ $k$:Knd fp$\rightarrow$ $V$:Type $\times$ (State($\otimes$)$\rightarrow$$V$$\rightarrow$($A$ + Top))